Synchronous Discrete Models